#!/bin/bash
make clean
make all
cd libmport
make clean
make all
cd ../
cp libmport/rio* built_files/
cp libmport/lib* built_files/
cp kernel-$(uname -r)/* built_files/
echo the built files are in ./built_files
